* Not all cases receive valid value in the VM-exit instruction length field.
*/
#define __get_instruction_length(len) \
- __vmread(INSTRUCTION_LEN, &(len)); \
+ __vmread(VM_EXIT_INSTRUCTION_LEN, &(len)); \
if ((len) < 1 || (len) > 15) \
__vmx_bug(®s);
if ( mmio_space(gpa) ){
if (gpa >= 0xFEE00000) { /* workaround for local APIC */
u32 inst_len;
- __vmread(INSTRUCTION_LEN, &(inst_len));
+ __vmread(VM_EXIT_INSTRUCTION_LEN, &(inst_len));
__update_guest_eip(inst_len);
return 1;
}
int i, inst_len;
int inst_copy_from_guest(unsigned char *, unsigned long, int);
- __vmread(INSTRUCTION_LEN, &inst_len);
+ __vmread(VM_EXIT_INSTRUCTION_LEN, &inst_len);
memset(inst, 0, MAX_INST_LEN);
if (inst_copy_from_guest(inst, eip, inst_len) != inst_len) {
printf("check_for_null_selector: get guest instruction failed\n");
unsigned long inst_len;
int error = 0;
- error |= __vmread(INSTRUCTION_LEN, &inst_len);
+ error |= __vmread(VM_EXIT_INSTRUCTION_LEN, &inst_len);
error |= __vmread(GUEST_RIP, &c->eip);
c->eip += inst_len; /* skip transition instruction */
error |= __vmread(GUEST_RSP, &c->esp);
inst_decoder_regs = mpci_p->inst_decoder_regs;
__vmread(GUEST_RIP, &eip);
- __vmread(INSTRUCTION_LEN, &inst_len);
+ __vmread(VM_EXIT_INSTRUCTION_LEN, &inst_len);
__vmread(GUEST_RFLAGS, &eflags);
vm86 = eflags & X86_EFLAGS_VM;
VM_ENTRY_MSR_LOAD_COUNT = 0x00004014,
VM_ENTRY_INTR_INFO_FIELD = 0x00004016,
VM_ENTRY_EXCEPTION_ERROR_CODE = 0x00004018,
- VM_ENTRY_INSTRUCTION_LENGTH = 0x0000401a,
+ VM_ENTRY_INSTRUCTION_LEN = 0x0000401a,
TPR_THRESHOLD = 0x0000401c,
SECONDARY_VM_EXEC_CONTROL = 0x0000401e,
VM_INSTRUCTION_ERROR = 0x00004400,
VM_EXIT_INTR_ERROR_CODE = 0x00004406,
IDT_VECTORING_INFO_FIELD = 0x00004408,
IDT_VECTORING_ERROR_CODE = 0x0000440a,
- INSTRUCTION_LEN = 0x0000440c,
+ VM_EXIT_INSTRUCTION_LEN = 0x0000440c,
VMX_INSTRUCTION_INFO = 0x0000440e,
GUEST_ES_LIMIT = 0x00004800,
GUEST_CS_LIMIT = 0x00004802,